#include <typedef.h>
extern void vga_putc(char c);
extern u8 x;
extern u8 y;
